Fractured Processes: Adaptive, Fine-Grained Process Abstractions
نویسندگان
چکیده
We introduce Fracture, a novel framework that transforms and modernizes the basic process abstraction. By “fracturing” an application into logical modules, Fracture enables powerful and novel run-time configurations that improve run-time testing, application availability, and general robustness, all in a generic and incremental manner. We demonstrate the utility of fracturing via in-depth case studies of a chat client, a web server, and two user-level file systems. Through these examples, we show that Fracture enables applications to transparently tolerate memory leaks, buffer overflows, and isolate subsystem crashes, with little change to source code; through intelligent fracturing, we can achieve low overhead as well, thus enabling deployment.
منابع مشابه
Modular Design and Verification of Distributed Adaptive Real-Time Systems
A promising way to cope with complexity in verifying large systems is to perform modular verification where components are verified separately. However, in the context of adaptive systems, it is difficult to apply this principle because adaptation behaviour and functional behaviour are often intertwined. In this paper, we present and apply a design pattern for distributed adaptive real-time sys...
متن کاملThe Effect of Geopolymerization on the Unconfined Compressive Strength of Stabilized Fine-grained Soils
This study focuses on evaluating the unconfined compressive strength (UCS) of improved fine-grained soils. A large database of unconfined compressive strength of clayey soil specimens stabilized with fly ash and blast furnace slag based geopolymer were collected and analyzed. Subsequently, using adaptive neuro fuzzy inference system (ANFIS), a model has been developed to assess the UCS of stabi...
متن کاملEffect of HPT and CGP Processes on the Copper Me-chanical Properties
One of the most common methods for production of ultra fine grained materials is severe plastic deformation (SPD). In this study, constrained groove pressing (CGP) and high pressure torsion (HPT) processes as effective methods of severe plastic deformation for the strain imposed on the pure copper were used. This paper presents the results of an experimental research, to review the influence of...
متن کاملUltra-Fine Grained Dual-Phase Steels
This paper provides an overview on obtaining low-carbon ultra-fine grained dual-phase steels through rapid intercritical annealing of cold-rolled sheet as improved materials for automotive applications. A laboratory processing route was designed that involves cold-rolling of a tempered martensite structure followed by a second tempering step to produce a fine grained aggregate of ferrite and ca...
متن کاملSteady Abstractions for CPS Controller Synthesis*
Designing correct-by-construction controllers for cyber-physical systems is difficult. Synthesis aids the controller designer by automating this process once the controller’s specification and the dynamics of the environment have been formalized. Most classes of system dynamics have undecidable synthesis problems, which is commonly mitigated by computing a discrete abstraction of the system dyn...
متن کامل